أقسام المعلوم يقسمون المعلوم إلى ثلاثة أقسام : ممكن لذاته ، وواجب لذاته ، ومستحيل لذاته 30 ويعرفون المستحيل بما عدمه لذاته من حيث هي . أما الواجب فهو ما كان وجوده لذاته من حيث هي . والممكن ما لا وجود له ولا عدم من ذاته ، وإنما يوجد لموجد ويعدم لعدم سبب وجوده . وقد يعرض له الوجوب والاستحالة لغيره - وإطلاق المعلوم على المستحيل ضرب من المجاز ، فإن المعلوم حقيقة لا بدّ أن يكون له كون في الواقع ينطبق عليه العلم ، والمستحيل ليس من هذا القبيل كما تراه في أحكامه ، وإنما المراد ما يمكن الحكم عليه وإن في صورة يخترعها له العقل ليتوصل بها إلى الحكاية عنه . حكم المستحيل وحكم المستحيل لذاته : أن لا يطرأ عليه وجود ، فإن العدم من لوازم ماهيته 31 من حيث فلو ، ولو طرأ الوجود عليه لسلب لازم الماهية من حيث هي عنها ، وهو يؤدى إلى سلب الماهية عن نفسها 32 بالبداهة . فالمستحيل لا يوجد فهو ليس بموجود قطعا ، بل لا يمكن للعقل أن يتصور له ماهية كائنة 33 كما أشرنا إليه ، فهو ليس بموجود لا في الخارج ولا في الذهن . أحكام الممكن من أحكام الممكن لذاته ، أن لا يوجد إلا بسبب وأن لا ينعدم إلا بسبب ، وذلك لأنه لا واحد من الأمرين له لذاته ، فنسبتهما إلى ذاته على السواء . فإن ثبت له